Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
241	Preprint from http://www.philosophyofinformation.net This is a preprint of a paper accepted for publication in Synthese (Springer) Permission to make digital or hard copies of all or part of this work for personal or cla Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:54:34 Philosophical logic Deduction Non-classical logic Analytic philosophers Epistemic modal logic Closure Normal modal logic Doxastic logic Deductive closure Logic Mathematical logic Modal logic
242	Simplifying diagnosis using LSAT: a propositional approach to reasoning from first principles Andreas Bauer Institut f¨ ur Informatik Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2006-11-17 13:08:20 Logic programming Boolean algebra Non-classical logic Predicate logic Propositional calculus Diagnosis Boolean satisfiability problem Circumscription Mereology Logic Mathematical logic Mathematics
243	Large-Scale Verb Entailment Acquisition from the Web Chikara Hashimoto∗ Kentaro Torisawa† Kow Kuroda‡ Stijn De Saeger§ Masaki Murata¶ Jun’ichi Kazama National Institute of Information and Communications Techno Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 16:57:08 Philosophical logic Non-classical logic Propositional calculus Knowledge representation Entailment Modal logic Textual entailment WordNet Verb Logic Science Logical consequence
244	Logique & Analyse[removed]), x–x THE LOGIC OF BEING INFORMED LUCIANO FLORIDI∗ Abstract One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistem Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:55:32 Formal systems Modal logic Philosophical logic Non-classical logic Epistemic modal logic Luciano Floridi Propositional calculus Axiom Information Logic Mathematical logic Science
245	Finitary S5-Theories Tran Cao Son1 , Enrico Pontelli1 , Chitta Baral2 , and Gregory Gelfond2 1 2 Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2014-08-06 20:47:54 Model theory Philosophical logic Modal logic Non-classical logic Universal algebra Μ operator Epistemic modal logic Common knowledge Structure Logic Mathematical logic Mathematics
246	Lemma 1 Ltd. 2nd Floor 31A Chain St. Reading Berks RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:54 Modal logic Philosophical logic Logic in computer science Non-classical logic Philosophy of language Accessibility relation Epistemic modal logic Propositional calculus HOL Logic Mathematical logic Mathematics
247	LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC When It’s Time for Them to “G Add to Reading List Source URL: www.loveandlogic.com Language: English - Date: 2014-08-01 13:00:55 Abstraction Axiology Knowledge Modal logic Vacuous truth Logic Science Non-classical logic
248	Heylighen F[removed]): "Classical and Non-classical Representations in Physics II: Quantum mechanics", Cybernetics and Systems 21, p[removed]Classical and Non-Classical Representations in Physics II: Quantum Mechanics Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:32 Quantum state Quantum superposition Observable Hilbert space Schrödinger equation Wave function Operator Position operator Quantum probability Physics Quantum mechanics Quantum logic
249	Rule-Based Interactive Fiction (Full Presentation) Chris R. Martens Zachary A. Sparks Claire E. Alvis Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-11-16 11:33:49 Non-classical logic Logic programming Reasoning Proof theory Logic in computer science Prolog Defeasible logic Curry–Howard correspondence Inference Logic Mathematics Mathematical logic
250	ANSWER SET PROGRAMMING KNOWLEDGE REPRESENTATION, REASONING AND DECLARATIVE PROBLEM SOLVING USING ANSPROLOG: WWW.BARAL.US/BOOKONE Chitta Baral Department of Computer Science and Engg. Add to Reading List Source URL: www.public.asu.edu Language: English* - Date: 2004-06-18 11:01:46 Non-classical logic Reasoning Knowledge Knowledge representation Programming paradigms Knowledge representation and reasoning Non-monotonic logic Stable model semantics Default logic Science Logic programming Logic

UPDATE